1. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen
پدیدآورنده : Hermes, Hans.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
رده :
QA
248
.
5
.
H4
1971
2. Enumerability, decidability, computability. An introduction to the theory of recursive functions
پدیدآورنده : Hermes, Hans.
موضوع : ، Recursive functions,، Algorithms,، Godel's theorem
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Enumerability decidability computability : an introduction to the theory of recursive functions
پدیدآورنده : Hermes, Hans
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Recursive functions,، Algorithms,، Godel's theorem
رده :
QA
248
.
5
.
H413
1969
